﻿$(function() {
    resize();
    $(window).resize(resize);
});

function resize() {
    var h = $(window).height() - $('#header').height() - $('#footer').height() - 30;
    $('#content').css('height', h);
    $('#treeholder').css('height', h - 40);
}

function doKBSearch(event) {
    var e = ($.browser.msie) ? event : evt;
    var keycode = ($.browser.msie) ? e.keyCode : e.which;
    if (keycode == 13)
        return KBSearch();
    else return true;
}

function KBSearch() {
    $("#searchform").submit();
}